Optimal. Leaf size=98 \[ \frac {b \sqrt {a^2+2 a b x+b^2 x^2} (a+b x)^5}{42 (d+e x)^6 (b d-a e)^2}+\frac {\sqrt {a^2+2 a b x+b^2 x^2} (a+b x)^5}{7 (d+e x)^7 (b d-a e)} \]
________________________________________________________________________________________
Rubi [A] time = 0.04, antiderivative size = 98, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.107, Rules used = {646, 45, 37} \begin {gather*} \frac {b \sqrt {a^2+2 a b x+b^2 x^2} (a+b x)^5}{42 (d+e x)^6 (b d-a e)^2}+\frac {\sqrt {a^2+2 a b x+b^2 x^2} (a+b x)^5}{7 (d+e x)^7 (b d-a e)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 45
Rule 646
Rubi steps
\begin {align*} \int \frac {\left (a^2+2 a b x+b^2 x^2\right )^{5/2}}{(d+e x)^8} \, dx &=\frac {\sqrt {a^2+2 a b x+b^2 x^2} \int \frac {\left (a b+b^2 x\right )^5}{(d+e x)^8} \, dx}{b^4 \left (a b+b^2 x\right )}\\ &=\frac {(a+b x)^5 \sqrt {a^2+2 a b x+b^2 x^2}}{7 (b d-a e) (d+e x)^7}+\frac {\sqrt {a^2+2 a b x+b^2 x^2} \int \frac {\left (a b+b^2 x\right )^5}{(d+e x)^7} \, dx}{7 b^3 (b d-a e) \left (a b+b^2 x\right )}\\ &=\frac {(a+b x)^5 \sqrt {a^2+2 a b x+b^2 x^2}}{7 (b d-a e) (d+e x)^7}+\frac {b (a+b x)^5 \sqrt {a^2+2 a b x+b^2 x^2}}{42 (b d-a e)^2 (d+e x)^6}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 0.08, size = 223, normalized size = 2.28 \begin {gather*} -\frac {\sqrt {(a+b x)^2} \left (6 a^5 e^5+5 a^4 b e^4 (d+7 e x)+4 a^3 b^2 e^3 \left (d^2+7 d e x+21 e^2 x^2\right )+3 a^2 b^3 e^2 \left (d^3+7 d^2 e x+21 d e^2 x^2+35 e^3 x^3\right )+2 a b^4 e \left (d^4+7 d^3 e x+21 d^2 e^2 x^2+35 d e^3 x^3+35 e^4 x^4\right )+b^5 \left (d^5+7 d^4 e x+21 d^3 e^2 x^2+35 d^2 e^3 x^3+35 d e^4 x^4+21 e^5 x^5\right )\right )}{42 e^6 (a+b x) (d+e x)^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 180.02, size = 0, normalized size = 0.00 \begin {gather*} \text {\$Aborted} \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.41, size = 326, normalized size = 3.33 \begin {gather*} -\frac {21 \, b^{5} e^{5} x^{5} + b^{5} d^{5} + 2 \, a b^{4} d^{4} e + 3 \, a^{2} b^{3} d^{3} e^{2} + 4 \, a^{3} b^{2} d^{2} e^{3} + 5 \, a^{4} b d e^{4} + 6 \, a^{5} e^{5} + 35 \, {\left (b^{5} d e^{4} + 2 \, a b^{4} e^{5}\right )} x^{4} + 35 \, {\left (b^{5} d^{2} e^{3} + 2 \, a b^{4} d e^{4} + 3 \, a^{2} b^{3} e^{5}\right )} x^{3} + 21 \, {\left (b^{5} d^{3} e^{2} + 2 \, a b^{4} d^{2} e^{3} + 3 \, a^{2} b^{3} d e^{4} + 4 \, a^{3} b^{2} e^{5}\right )} x^{2} + 7 \, {\left (b^{5} d^{4} e + 2 \, a b^{4} d^{3} e^{2} + 3 \, a^{2} b^{3} d^{2} e^{3} + 4 \, a^{3} b^{2} d e^{4} + 5 \, a^{4} b e^{5}\right )} x}{42 \, {\left (e^{13} x^{7} + 7 \, d e^{12} x^{6} + 21 \, d^{2} e^{11} x^{5} + 35 \, d^{3} e^{10} x^{4} + 35 \, d^{4} e^{9} x^{3} + 21 \, d^{5} e^{8} x^{2} + 7 \, d^{6} e^{7} x + d^{7} e^{6}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.18, size = 381, normalized size = 3.89 \begin {gather*} -\frac {{\left (21 \, b^{5} x^{5} e^{5} \mathrm {sgn}\left (b x + a\right ) + 35 \, b^{5} d x^{4} e^{4} \mathrm {sgn}\left (b x + a\right ) + 35 \, b^{5} d^{2} x^{3} e^{3} \mathrm {sgn}\left (b x + a\right ) + 21 \, b^{5} d^{3} x^{2} e^{2} \mathrm {sgn}\left (b x + a\right ) + 7 \, b^{5} d^{4} x e \mathrm {sgn}\left (b x + a\right ) + b^{5} d^{5} \mathrm {sgn}\left (b x + a\right ) + 70 \, a b^{4} x^{4} e^{5} \mathrm {sgn}\left (b x + a\right ) + 70 \, a b^{4} d x^{3} e^{4} \mathrm {sgn}\left (b x + a\right ) + 42 \, a b^{4} d^{2} x^{2} e^{3} \mathrm {sgn}\left (b x + a\right ) + 14 \, a b^{4} d^{3} x e^{2} \mathrm {sgn}\left (b x + a\right ) + 2 \, a b^{4} d^{4} e \mathrm {sgn}\left (b x + a\right ) + 105 \, a^{2} b^{3} x^{3} e^{5} \mathrm {sgn}\left (b x + a\right ) + 63 \, a^{2} b^{3} d x^{2} e^{4} \mathrm {sgn}\left (b x + a\right ) + 21 \, a^{2} b^{3} d^{2} x e^{3} \mathrm {sgn}\left (b x + a\right ) + 3 \, a^{2} b^{3} d^{3} e^{2} \mathrm {sgn}\left (b x + a\right ) + 84 \, a^{3} b^{2} x^{2} e^{5} \mathrm {sgn}\left (b x + a\right ) + 28 \, a^{3} b^{2} d x e^{4} \mathrm {sgn}\left (b x + a\right ) + 4 \, a^{3} b^{2} d^{2} e^{3} \mathrm {sgn}\left (b x + a\right ) + 35 \, a^{4} b x e^{5} \mathrm {sgn}\left (b x + a\right ) + 5 \, a^{4} b d e^{4} \mathrm {sgn}\left (b x + a\right ) + 6 \, a^{5} e^{5} \mathrm {sgn}\left (b x + a\right )\right )} e^{\left (-6\right )}}{42 \, {\left (x e + d\right )}^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.05, size = 288, normalized size = 2.94 \begin {gather*} -\frac {\left (21 b^{5} e^{5} x^{5}+70 a \,b^{4} e^{5} x^{4}+35 b^{5} d \,e^{4} x^{4}+105 a^{2} b^{3} e^{5} x^{3}+70 a \,b^{4} d \,e^{4} x^{3}+35 b^{5} d^{2} e^{3} x^{3}+84 a^{3} b^{2} e^{5} x^{2}+63 a^{2} b^{3} d \,e^{4} x^{2}+42 a \,b^{4} d^{2} e^{3} x^{2}+21 b^{5} d^{3} e^{2} x^{2}+35 a^{4} b \,e^{5} x +28 a^{3} b^{2} d \,e^{4} x +21 a^{2} b^{3} d^{2} e^{3} x +14 a \,b^{4} d^{3} e^{2} x +7 b^{5} d^{4} e x +6 a^{5} e^{5}+5 a^{4} b d \,e^{4}+4 a^{3} b^{2} d^{2} e^{3}+3 a^{2} b^{3} d^{3} e^{2}+2 a \,b^{4} d^{4} e +b^{5} d^{5}\right ) \left (\left (b x +a \right )^{2}\right )^{\frac {5}{2}}}{42 \left (e x +d \right )^{7} \left (b x +a \right )^{5} e^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.74, size = 687, normalized size = 7.01 \begin {gather*} \frac {\left (\frac {4\,b^5\,d-5\,a\,b^4\,e}{3\,e^6}+\frac {b^5\,d}{3\,e^6}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^3}-\frac {\left (\frac {5\,a^4\,b\,e^4-10\,a^3\,b^2\,d\,e^3+10\,a^2\,b^3\,d^2\,e^2-5\,a\,b^4\,d^3\,e+b^5\,d^4}{6\,e^6}+\frac {d\,\left (\frac {-10\,a^3\,b^2\,e^4+10\,a^2\,b^3\,d\,e^3-5\,a\,b^4\,d^2\,e^2+b^5\,d^3\,e}{6\,e^6}+\frac {d\,\left (\frac {d\,\left (\frac {b^5\,d}{6\,e^3}-\frac {b^4\,\left (5\,a\,e-b\,d\right )}{6\,e^3}\right )}{e}+\frac {b^3\,\left (10\,a^2\,e^2-5\,a\,b\,d\,e+b^2\,d^2\right )}{6\,e^4}\right )}{e}\right )}{e}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^6}-\frac {\left (\frac {10\,a^2\,b^3\,e^2-15\,a\,b^4\,d\,e+6\,b^5\,d^2}{4\,e^6}+\frac {d\,\left (\frac {b^5\,d}{4\,e^5}-\frac {b^4\,\left (5\,a\,e-3\,b\,d\right )}{4\,e^5}\right )}{e}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^4}-\frac {\left (\frac {a^5}{7\,e}-\frac {d\,\left (\frac {5\,a^4\,b}{7\,e}-\frac {d\,\left (\frac {d\,\left (\frac {d\,\left (\frac {5\,a\,b^4}{7\,e}-\frac {b^5\,d}{7\,e^2}\right )}{e}-\frac {10\,a^2\,b^3}{7\,e}\right )}{e}+\frac {10\,a^3\,b^2}{7\,e}\right )}{e}\right )}{e}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^7}+\frac {\left (\frac {-10\,a^3\,b^2\,e^3+20\,a^2\,b^3\,d\,e^2-15\,a\,b^4\,d^2\,e+4\,b^5\,d^3}{5\,e^6}+\frac {d\,\left (\frac {d\,\left (\frac {b^5\,d}{5\,e^4}-\frac {b^4\,\left (5\,a\,e-2\,b\,d\right )}{5\,e^4}\right )}{e}+\frac {b^3\,\left (10\,a^2\,e^2-10\,a\,b\,d\,e+3\,b^2\,d^2\right )}{5\,e^5}\right )}{e}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^5}-\frac {b^5\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{2\,e^6\,\left (a+b\,x\right )\,{\left (d+e\,x\right )}^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (\left (a + b x\right )^{2}\right )^{\frac {5}{2}}}{\left (d + e x\right )^{8}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________